#ifndef PLCREFVARIABLE_H
#define PLCREFVARIABLE_H

#include "plc2llvm/PLCSymbols/PLCCommonVariable.h"

class PLCRefVariable : PLCCommonVariable{
private:
    PLCVariable* pointTo;
public:
    PLCVariable *getPointTo() const;

    void setPointTo(PLCVariable *pointTo);
};


#endif